8.6 整数は半順序